Generalized algebraic data type - PDFSEARCH.IO - Document Search Engine

Generalized algebraic data type
Results: 55

#	Item
41	A Practical Approach to Co-induction in Twelf Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh & DSI, University of Milan Funded in part by EU-project Mobius (IST[removed]) Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-04-27 12:26:32 Mathematical logic Programming language theory Combinatory logic Lambda calculus Twelf Ordinal number Dependently typed programming Generalized algebraic data type Theoretical computer science Logic in computer science Type theory
42	Type-Correct Changes — A Safe Approach to Version Control Implementation Jason Dagit November 13, 2010 Contents Add to Reading List Source URL: www.cs.famaf.unc.edu.ar Language: English - Date: 2014-05-30 10:52:18 Computer programming Darcs Haskell Generalized algebraic data type Type system Yi Type class Glasgow Haskell Compiler Type inference Computing Software engineering Type theory
43	PDF Document Add to Reading List Source URL: www.physics.oregonstate.edu Language: English - Date: 2014-08-04 13:00:59 Distributed revision control systems Darcs Haskell Git Generalized algebraic data type Monotone Merge Yi Patch Software Computing Computer programming
44	PDF Document Add to Reading List Source URL: ir.library.oregonstate.edu Language: English - Date: 2009-04-06 16:22:49 Type theory Data types Functional programming Darcs Generalized algebraic data type Haskell Type system David Roundy Software bug Software engineering Computing Computer programming
45	The Monad.Reader Issue 22 by Anton Dergunov [removed] and Matt Fenwick [removed] and Jay Vyas [removed] and Mike Izbicki [removed] August 21, 2013 Add to Reading List Source URL: themonadreader.files.wordpress.com Language: English - Date: 2013-08-21 01:57:49 Data types Type theory Functional programming Algebraic data type Generalized algebraic data type Boolean data type ALGOL 68 Type system Generic programming Software engineering Computing Computer programming
46	Why Learn Haskell? Jan van Eijck CWI & ILLC, Amsterdam Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-17 05:59:51 Functional languages Functional programming Haskell Literate programming Simon Peyton Jones Hope Id Generalized algebraic data type Software engineering Declarative programming Computing
47	J Autom Reasoning manuscript No. (will be inserted by the editor) Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-09-06 11:25:12 Computer science Logic in computer science Dependently typed programming Type theory Programming language semantics Generalized algebraic data type Lambda calculus Denotational semantics Theoretical computer science Software engineering Models of computation
48	Transporting Functions across Ornaments Technical Report Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-03-13 22:34:14 Data types Type theory Dependently typed programming Functional programming Functional languages Inductive data type C++ classes Generic programming Generalized algebraic data type Software engineering Computing Computer programming
49	Let Should Not Be Generalised Dimitrios Vytiniotis Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-11-12 10:54:14 Computing Type class Type inference Type system Hindley–Milner Generalized algebraic data type Kind Parametric polymorphism Constraint Type theory Software engineering Programming language theory
50	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2006-11-24 14:08:53 Models of computation Dependently typed programming Type theory Functional languages Functional programming Generalized algebraic data type Standard ML Lambda calculus Natural deduction Software engineering Declarative programming Computing